bitkeeper revision 1.1159.12.1 (4117f0d1EjfQrr7cjM82SS7qdzq81A)

Build xend manual plus latex fixes

diff --git a/docs/Makefile b/docs/Makefile
index ae8db6a27c1305a9f220994e11a543db0905ed81..416f2b70c14b14e0b3061878e757c0066eed0a43 100644 (file)
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -5,7 +5,7 @@
 # DOCUMENTS should be a list of the target Postscript files.
 
 DOCUMENTS = interface.ps interface.pdf interface.html user.ps \
-           user.pdf user.html
+           user.pdf user.html xend.ps xend.pdf xend.html
 
 GFX  = $(patsubst %.obj, %.eps, $(wildcard figs/*.obj))
 GFX += $(patsubst %.fig, %.eps, $(wildcard figs/*.fig))

diff --git a/docs/xend.tex b/docs/xend.tex
index abf402adfbfdf1f56d42ff241acfa297b7fe5dc9..ec62af5e114f07d4798d0a9c342b19fd3c92fe6f 100644 (file)
--- a/docs/xend.tex
+++ b/docs/xend.tex
@@ -123,7 +123,7 @@ to release the devices for exited domains. Xend also closes any open console
 connections and removes the TCP listeners for exited domains.
 Once all devices have been released it instructs xen to destroy the memory image.
 
-\seb{Domain restart}
+\secb{Domain restart}
 Domain restart is the xen equivalent of a machine reboot. When a domain
 exits because it has been shutdown in reboot mode, its exit code is reboot.
 When examining domains to find those that have exited and destroy them,
@@ -445,4 +445,4 @@ http://www.openssh.org.
 http://www.stunnel.org.
 
 \end{thebibliography}
-\end{document}
\ No newline at end of file
+\end{document}